Kenya's Initial Oil Revenues Will Cover Exploration Costs First